unstarred nonterminal(s)

[软]未加星号非终结符[UNTS]